From e1710891c72b513dea8e24a3e0d8969a91a4fa39 Mon Sep 17 00:00:00 2001 From: Julien Grall Date: Fri, 12 Aug 2022 20:24:45 +0100 Subject: [PATCH] xen/arm: Tweak the dump page-table walk output Currently the output is looking like: (XEN) 1ST[0x1] = 0x000000004015ff7f (XEN) 2ND[0x1f] = 0x00500000bfe00f7d The content of the entries are not aligned making a bit trickier to read (I appreciate this is a matter of taste). Align the values by forcing the index to be always printed using 3 characters (enough to cover 512 in hexadecimal). New output: (XEN) 1ST[0x001] = 0x000000004015ff7f (XEN) 2ND[0x01f] = 0x00500000bfe00f7d Signed-off-by: Julien Grall Reviewed-by: Bertrand Marquis Reviewed-by: Henry Wang --- xen/arch/arm/mm.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/arch/arm/mm.c b/xen/arch/arm/mm.c index b42cddb1b4..c81c706c8b 100644 --- a/xen/arch/arm/mm.c +++ b/xen/arch/arm/mm.c @@ -234,7 +234,7 @@ void dump_pt_walk(paddr_t ttbr, paddr_t addr, pte = mapping[offsets[level]]; - printk("%s[0x%x] = 0x%"PRIpaddr"\n", + printk("%s[0x%03x] = 0x%"PRIpaddr"\n", level_strs[level], offsets[level], pte.bits); if ( level == 3 || !pte.walk.valid || !pte.walk.table ) -- 2.30.2